3.2.37 \(\int (a+b \text {sech}^2(c+d x))^5 \, dx\) [137]

Optimal. Leaf size=163 \[ a^5 x+\frac {b \left (5 a^4+10 a^3 b+10 a^2 b^2+5 a b^3+b^4\right ) \tanh (c+d x)}{d}-\frac {b^2 \left (10 a^3+20 a^2 b+15 a b^2+4 b^3\right ) \tanh ^3(c+d x)}{3 d}+\frac {b^3 \left (10 a^2+15 a b+6 b^2\right ) \tanh ^5(c+d x)}{5 d}-\frac {b^4 (5 a+4 b) \tanh ^7(c+d x)}{7 d}+\frac {b^5 \tanh ^9(c+d x)}{9 d} \]

[Out]

a^5*x+b*(5*a^4+10*a^3*b+10*a^2*b^2+5*a*b^3+b^4)*tanh(d*x+c)/d-1/3*b^2*(10*a^3+20*a^2*b+15*a*b^2+4*b^3)*tanh(d*
x+c)^3/d+1/5*b^3*(10*a^2+15*a*b+6*b^2)*tanh(d*x+c)^5/d-1/7*b^4*(5*a+4*b)*tanh(d*x+c)^7/d+1/9*b^5*tanh(d*x+c)^9
/d

________________________________________________________________________________________

Rubi [A]
time = 0.07, antiderivative size = 163, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.214, Rules used = {4213, 398, 212} \begin {gather*} a^5 x+\frac {b^3 \left (10 a^2+15 a b+6 b^2\right ) \tanh ^5(c+d x)}{5 d}-\frac {b^2 \left (10 a^3+20 a^2 b+15 a b^2+4 b^3\right ) \tanh ^3(c+d x)}{3 d}+\frac {b \left (5 a^4+10 a^3 b+10 a^2 b^2+5 a b^3+b^4\right ) \tanh (c+d x)}{d}-\frac {b^4 (5 a+4 b) \tanh ^7(c+d x)}{7 d}+\frac {b^5 \tanh ^9(c+d x)}{9 d} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(a + b*Sech[c + d*x]^2)^5,x]

[Out]

a^5*x + (b*(5*a^4 + 10*a^3*b + 10*a^2*b^2 + 5*a*b^3 + b^4)*Tanh[c + d*x])/d - (b^2*(10*a^3 + 20*a^2*b + 15*a*b
^2 + 4*b^3)*Tanh[c + d*x]^3)/(3*d) + (b^3*(10*a^2 + 15*a*b + 6*b^2)*Tanh[c + d*x]^5)/(5*d) - (b^4*(5*a + 4*b)*
Tanh[c + d*x]^7)/(7*d) + (b^5*Tanh[c + d*x]^9)/(9*d)

Rule 212

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1/(Rt[a, 2]*Rt[-b, 2]))*ArcTanh[Rt[-b, 2]*(x/Rt[a, 2])], x]
/; FreeQ[{a, b}, x] && NegQ[a/b] && (GtQ[a, 0] || LtQ[b, 0])

Rule 398

Int[((a_) + (b_.)*(x_)^(n_))^(p_)*((c_) + (d_.)*(x_)^(n_))^(q_), x_Symbol] :> Int[PolynomialDivide[(a + b*x^n)
^p, (c + d*x^n)^(-q), x], x] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0] && IGtQ[n, 0] && IGtQ[p, 0] && ILt
Q[q, 0] && GeQ[p, -q]

Rule 4213

Int[((a_) + (b_.)*sec[(e_.) + (f_.)*(x_)]^2)^(p_), x_Symbol] :> With[{ff = FreeFactors[Tan[e + f*x], x]}, Dist
[ff/f, Subst[Int[(a + b + b*ff^2*x^2)^p/(1 + ff^2*x^2), x], x, Tan[e + f*x]/ff], x]] /; FreeQ[{a, b, e, f, p},
x] && NeQ[a + b, 0] && NeQ[p, -1]

Rubi steps

\begin {align*} \int \left (a+b \text {sech}^2(c+d x)\right )^5 \, dx &=\frac {\text {Subst}\left (\int \frac {\left (a+b-b x^2\right )^5}{1-x^2} \, dx,x,\tanh (c+d x)\right )}{d}\\ &=\frac {\text {Subst}\left (\int \left (b \left (5 a^4+10 a^3 b+10 a^2 b^2+5 a b^3+b^4\right )-b^2 \left (10 a^3+20 a^2 b+15 a b^2+4 b^3\right ) x^2+b^3 \left (10 a^2+15 a b+6 b^2\right ) x^4-b^4 (5 a+4 b) x^6+b^5 x^8+\frac {a^5}{1-x^2}\right ) \, dx,x,\tanh (c+d x)\right )}{d}\\ &=\frac {b \left (5 a^4+10 a^3 b+10 a^2 b^2+5 a b^3+b^4\right ) \tanh (c+d x)}{d}-\frac {b^2 \left (10 a^3+20 a^2 b+15 a b^2+4 b^3\right ) \tanh ^3(c+d x)}{3 d}+\frac {b^3 \left (10 a^2+15 a b+6 b^2\right ) \tanh ^5(c+d x)}{5 d}-\frac {b^4 (5 a+4 b) \tanh ^7(c+d x)}{7 d}+\frac {b^5 \tanh ^9(c+d x)}{9 d}+\frac {a^5 \text {Subst}\left (\int \frac {1}{1-x^2} \, dx,x,\tanh (c+d x)\right )}{d}\\ &=a^5 x+\frac {b \left (5 a^4+10 a^3 b+10 a^2 b^2+5 a b^3+b^4\right ) \tanh (c+d x)}{d}-\frac {b^2 \left (10 a^3+20 a^2 b+15 a b^2+4 b^3\right ) \tanh ^3(c+d x)}{3 d}+\frac {b^3 \left (10 a^2+15 a b+6 b^2\right ) \tanh ^5(c+d x)}{5 d}-\frac {b^4 (5 a+4 b) \tanh ^7(c+d x)}{7 d}+\frac {b^5 \tanh ^9(c+d x)}{9 d}\\ \end {align*}

________________________________________________________________________________________

Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(724\) vs. \(2(163)=326\).
time = 6.38, size = 724, normalized size = 4.44 \begin {gather*} \frac {32 a^5 x \cosh ^{10}(c+d x) \left (a+b \text {sech}^2(c+d x)\right )^5}{(a+2 b+a \cosh (2 c+2 d x))^5}+\frac {32 \cosh ^4(c+d x) \text {sech}(c) \left (a+b \text {sech}^2(c+d x)\right )^5 \left (45 a b^4 \sinh (c)+8 b^5 \sinh (c)\right )}{63 d (a+2 b+a \cosh (2 c+2 d x))^5}+\frac {64 \cosh ^6(c+d x) \text {sech}(c) \left (a+b \text {sech}^2(c+d x)\right )^5 \left (105 a^2 b^3 \sinh (c)+45 a b^4 \sinh (c)+8 b^5 \sinh (c)\right )}{105 d (a+2 b+a \cosh (2 c+2 d x))^5}+\frac {64 \cosh ^8(c+d x) \text {sech}(c) \left (a+b \text {sech}^2(c+d x)\right )^5 \left (525 a^3 b^2 \sinh (c)+420 a^2 b^3 \sinh (c)+180 a b^4 \sinh (c)+32 b^5 \sinh (c)\right )}{315 d (a+2 b+a \cosh (2 c+2 d x))^5}+\frac {32 b^5 \cosh (c+d x) \text {sech}(c) \left (a+b \text {sech}^2(c+d x)\right )^5 \sinh (d x)}{9 d (a+2 b+a \cosh (2 c+2 d x))^5}+\frac {32 \cosh ^3(c+d x) \text {sech}(c) \left (a+b \text {sech}^2(c+d x)\right )^5 \left (45 a b^4 \sinh (d x)+8 b^5 \sinh (d x)\right )}{63 d (a+2 b+a \cosh (2 c+2 d x))^5}+\frac {64 \cosh ^5(c+d x) \text {sech}(c) \left (a+b \text {sech}^2(c+d x)\right )^5 \left (105 a^2 b^3 \sinh (d x)+45 a b^4 \sinh (d x)+8 b^5 \sinh (d x)\right )}{105 d (a+2 b+a \cosh (2 c+2 d x))^5}+\frac {64 \cosh ^7(c+d x) \text {sech}(c) \left (a+b \text {sech}^2(c+d x)\right )^5 \left (525 a^3 b^2 \sinh (d x)+420 a^2 b^3 \sinh (d x)+180 a b^4 \sinh (d x)+32 b^5 \sinh (d x)\right )}{315 d (a+2 b+a \cosh (2 c+2 d x))^5}+\frac {32 \cosh ^9(c+d x) \text {sech}(c) \left (a+b \text {sech}^2(c+d x)\right )^5 \left (1575 a^4 b \sinh (d x)+2100 a^3 b^2 \sinh (d x)+1680 a^2 b^3 \sinh (d x)+720 a b^4 \sinh (d x)+128 b^5 \sinh (d x)\right )}{315 d (a+2 b+a \cosh (2 c+2 d x))^5}+\frac {32 b^5 \cosh ^2(c+d x) \left (a+b \text {sech}^2(c+d x)\right )^5 \tanh (c)}{9 d (a+2 b+a \cosh (2 c+2 d x))^5} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(a + b*Sech[c + d*x]^2)^5,x]

[Out]

(32*a^5*x*Cosh[c + d*x]^10*(a + b*Sech[c + d*x]^2)^5)/(a + 2*b + a*Cosh[2*c + 2*d*x])^5 + (32*Cosh[c + d*x]^4*
Sech[c]*(a + b*Sech[c + d*x]^2)^5*(45*a*b^4*Sinh[c] + 8*b^5*Sinh[c]))/(63*d*(a + 2*b + a*Cosh[2*c + 2*d*x])^5)
+ (64*Cosh[c + d*x]^6*Sech[c]*(a + b*Sech[c + d*x]^2)^5*(105*a^2*b^3*Sinh[c] + 45*a*b^4*Sinh[c] + 8*b^5*Sinh[
c]))/(105*d*(a + 2*b + a*Cosh[2*c + 2*d*x])^5) + (64*Cosh[c + d*x]^8*Sech[c]*(a + b*Sech[c + d*x]^2)^5*(525*a^
3*b^2*Sinh[c] + 420*a^2*b^3*Sinh[c] + 180*a*b^4*Sinh[c] + 32*b^5*Sinh[c]))/(315*d*(a + 2*b + a*Cosh[2*c + 2*d*
x])^5) + (32*b^5*Cosh[c + d*x]*Sech[c]*(a + b*Sech[c + d*x]^2)^5*Sinh[d*x])/(9*d*(a + 2*b + a*Cosh[2*c + 2*d*x
])^5) + (32*Cosh[c + d*x]^3*Sech[c]*(a + b*Sech[c + d*x]^2)^5*(45*a*b^4*Sinh[d*x] + 8*b^5*Sinh[d*x]))/(63*d*(a
+ 2*b + a*Cosh[2*c + 2*d*x])^5) + (64*Cosh[c + d*x]^5*Sech[c]*(a + b*Sech[c + d*x]^2)^5*(105*a^2*b^3*Sinh[d*x
] + 45*a*b^4*Sinh[d*x] + 8*b^5*Sinh[d*x]))/(105*d*(a + 2*b + a*Cosh[2*c + 2*d*x])^5) + (64*Cosh[c + d*x]^7*Sec
h[c]*(a + b*Sech[c + d*x]^2)^5*(525*a^3*b^2*Sinh[d*x] + 420*a^2*b^3*Sinh[d*x] + 180*a*b^4*Sinh[d*x] + 32*b^5*S
inh[d*x]))/(315*d*(a + 2*b + a*Cosh[2*c + 2*d*x])^5) + (32*Cosh[c + d*x]^9*Sech[c]*(a + b*Sech[c + d*x]^2)^5*(
1575*a^4*b*Sinh[d*x] + 2100*a^3*b^2*Sinh[d*x] + 1680*a^2*b^3*Sinh[d*x] + 720*a*b^4*Sinh[d*x] + 128*b^5*Sinh[d*
x]))/(315*d*(a + 2*b + a*Cosh[2*c + 2*d*x])^5) + (32*b^5*Cosh[c + d*x]^2*(a + b*Sech[c + d*x]^2)^5*Tanh[c])/(9
*d*(a + 2*b + a*Cosh[2*c + 2*d*x])^5)

________________________________________________________________________________________

Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(506\) vs. \(2(155)=310\).
time = 1.96, size = 507, normalized size = 3.11

method	result	size
risch	\(a^{5} x -\frac {2 b \left (136080 a^{2} b^{2} {\mathrm e}^{8 d x +8 c}+88200 a^{4} {\mathrm e}^{6 d x +6 c}+60480 a^{2} b^{2} {\mathrm e}^{4 d x +4 c}+25920 a \,b^{3} {\mathrm e}^{4 d x +4 c}+75600 a^{2} b^{2} {\mathrm e}^{10 d x +10 c}+1575 a^{4}+107100 a^{3} b \,{\mathrm e}^{10 d x +10 c}+6480 a \,b^{3} {\mathrm e}^{2 d x +2 c}+720 a \,b^{3}+128 b^{4}+1680 a^{2} b^{2}+25200 a \,b^{3} {\mathrm e}^{10 d x +10 c}+157500 a^{3} b \,{\mathrm e}^{8 d x +8 c}+6300 a^{3} b \,{\mathrm e}^{14 d x +14 c}+39900 a^{3} b \,{\mathrm e}^{12 d x +12 c}+16800 a^{2} b^{2} {\mathrm e}^{12 d x +12 c}+2100 a^{3} b +18900 a^{3} b \,{\mathrm e}^{2 d x +2 c}+15120 a^{2} b^{2} {\mathrm e}^{2 d x +2 c}+69300 a^{3} b \,{\mathrm e}^{4 d x +4 c}+4608 b^{4} {\mathrm e}^{4 d x +4 c}+10752 b^{4} {\mathrm e}^{6 d x +6 c}+12600 a^{4} {\mathrm e}^{14 d x +14 c}+44100 a^{4} {\mathrm e}^{12 d x +12 c}+110250 a^{4} {\mathrm e}^{8 d x +8 c}+88200 a^{4} {\mathrm e}^{10 d x +10 c}+16128 b^{4} {\mathrm e}^{8 d x +8 c}+12600 a^{4} {\mathrm e}^{2 d x +2 c}+65520 a \,b^{3} {\mathrm e}^{8 d x +8 c}+136500 a^{3} b \,{\mathrm e}^{6 d x +6 c}+124320 a^{2} b^{2} {\mathrm e}^{6 d x +6 c}+60480 a \,b^{3} {\mathrm e}^{6 d x +6 c}+44100 a^{4} {\mathrm e}^{4 d x +4 c}+1575 a^{4} {\mathrm e}^{16 d x +16 c}+1152 b^{4} {\mathrm e}^{2 d x +2 c}\right )}{315 d \left (1+{\mathrm e}^{2 d x +2 c}\right )^{9}}\)	\(507\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a+b*sech(d*x+c)^2)^5,x,method=_RETURNVERBOSE)

[Out]

a^5*x-2/315*b*(136080*a^2*b^2*exp(8*d*x+8*c)+88200*a^4*exp(6*d*x+6*c)+60480*a^2*b^2*exp(4*d*x+4*c)+25920*a*b^3
*exp(4*d*x+4*c)+75600*a^2*b^2*exp(10*d*x+10*c)+1575*a^4+107100*a^3*b*exp(10*d*x+10*c)+6480*a*b^3*exp(2*d*x+2*c
)+720*a*b^3+128*b^4+1680*a^2*b^2+25200*a*b^3*exp(10*d*x+10*c)+157500*a^3*b*exp(8*d*x+8*c)+6300*a^3*b*exp(14*d*
x+14*c)+39900*a^3*b*exp(12*d*x+12*c)+16800*a^2*b^2*exp(12*d*x+12*c)+2100*a^3*b+18900*a^3*b*exp(2*d*x+2*c)+1512
0*a^2*b^2*exp(2*d*x+2*c)+69300*a^3*b*exp(4*d*x+4*c)+4608*b^4*exp(4*d*x+4*c)+10752*b^4*exp(6*d*x+6*c)+12600*a^4
*exp(14*d*x+14*c)+44100*a^4*exp(12*d*x+12*c)+110250*a^4*exp(8*d*x+8*c)+88200*a^4*exp(10*d*x+10*c)+16128*b^4*ex
p(8*d*x+8*c)+12600*a^4*exp(2*d*x+2*c)+65520*a*b^3*exp(8*d*x+8*c)+136500*a^3*b*exp(6*d*x+6*c)+124320*a^2*b^2*ex
p(6*d*x+6*c)+60480*a*b^3*exp(6*d*x+6*c)+44100*a^4*exp(4*d*x+4*c)+1575*a^4*exp(16*d*x+16*c)+1152*b^4*exp(2*d*x+
2*c))/d/(1+exp(2*d*x+2*c))^9

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 1277 vs. \(2 (155) = 310\).
time = 0.29, size = 1277, normalized size = 7.83 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+b*sech(d*x+c)^2)^5,x, algorithm="maxima")

[Out]

a^5*x + 256/315*b^5*(9*e^(-2*d*x - 2*c)/(d*(9*e^(-2*d*x - 2*c) + 36*e^(-4*d*x - 4*c) + 84*e^(-6*d*x - 6*c) + 1
26*e^(-8*d*x - 8*c) + 126*e^(-10*d*x - 10*c) + 84*e^(-12*d*x - 12*c) + 36*e^(-14*d*x - 14*c) + 9*e^(-16*d*x -
16*c) + e^(-18*d*x - 18*c) + 1)) + 36*e^(-4*d*x - 4*c)/(d*(9*e^(-2*d*x - 2*c) + 36*e^(-4*d*x - 4*c) + 84*e^(-6
*d*x - 6*c) + 126*e^(-8*d*x - 8*c) + 126*e^(-10*d*x - 10*c) + 84*e^(-12*d*x - 12*c) + 36*e^(-14*d*x - 14*c) +
9*e^(-16*d*x - 16*c) + e^(-18*d*x - 18*c) + 1)) + 84*e^(-6*d*x - 6*c)/(d*(9*e^(-2*d*x - 2*c) + 36*e^(-4*d*x -
4*c) + 84*e^(-6*d*x - 6*c) + 126*e^(-8*d*x - 8*c) + 126*e^(-10*d*x - 10*c) + 84*e^(-12*d*x - 12*c) + 36*e^(-14
*d*x - 14*c) + 9*e^(-16*d*x - 16*c) + e^(-18*d*x - 18*c) + 1)) + 126*e^(-8*d*x - 8*c)/(d*(9*e^(-2*d*x - 2*c) +
36*e^(-4*d*x - 4*c) + 84*e^(-6*d*x - 6*c) + 126*e^(-8*d*x - 8*c) + 126*e^(-10*d*x - 10*c) + 84*e^(-12*d*x - 1
2*c) + 36*e^(-14*d*x - 14*c) + 9*e^(-16*d*x - 16*c) + e^(-18*d*x - 18*c) + 1)) + 1/(d*(9*e^(-2*d*x - 2*c) + 36
*e^(-4*d*x - 4*c) + 84*e^(-6*d*x - 6*c) + 126*e^(-8*d*x - 8*c) + 126*e^(-10*d*x - 10*c) + 84*e^(-12*d*x - 12*c
) + 36*e^(-14*d*x - 14*c) + 9*e^(-16*d*x - 16*c) + e^(-18*d*x - 18*c) + 1))) + 32/7*a*b^4*(7*e^(-2*d*x - 2*c)/
(d*(7*e^(-2*d*x - 2*c) + 21*e^(-4*d*x - 4*c) + 35*e^(-6*d*x - 6*c) + 35*e^(-8*d*x - 8*c) + 21*e^(-10*d*x - 10*
c) + 7*e^(-12*d*x - 12*c) + e^(-14*d*x - 14*c) + 1)) + 21*e^(-4*d*x - 4*c)/(d*(7*e^(-2*d*x - 2*c) + 21*e^(-4*d
*x - 4*c) + 35*e^(-6*d*x - 6*c) + 35*e^(-8*d*x - 8*c) + 21*e^(-10*d*x - 10*c) + 7*e^(-12*d*x - 12*c) + e^(-14*
d*x - 14*c) + 1)) + 35*e^(-6*d*x - 6*c)/(d*(7*e^(-2*d*x - 2*c) + 21*e^(-4*d*x - 4*c) + 35*e^(-6*d*x - 6*c) + 3
5*e^(-8*d*x - 8*c) + 21*e^(-10*d*x - 10*c) + 7*e^(-12*d*x - 12*c) + e^(-14*d*x - 14*c) + 1)) + 1/(d*(7*e^(-2*d
*x - 2*c) + 21*e^(-4*d*x - 4*c) + 35*e^(-6*d*x - 6*c) + 35*e^(-8*d*x - 8*c) + 21*e^(-10*d*x - 10*c) + 7*e^(-12
*d*x - 12*c) + e^(-14*d*x - 14*c) + 1))) + 32/3*a^2*b^3*(5*e^(-2*d*x - 2*c)/(d*(5*e^(-2*d*x - 2*c) + 10*e^(-4*
d*x - 4*c) + 10*e^(-6*d*x - 6*c) + 5*e^(-8*d*x - 8*c) + e^(-10*d*x - 10*c) + 1)) + 10*e^(-4*d*x - 4*c)/(d*(5*e
^(-2*d*x - 2*c) + 10*e^(-4*d*x - 4*c) + 10*e^(-6*d*x - 6*c) + 5*e^(-8*d*x - 8*c) + e^(-10*d*x - 10*c) + 1)) +
1/(d*(5*e^(-2*d*x - 2*c) + 10*e^(-4*d*x - 4*c) + 10*e^(-6*d*x - 6*c) + 5*e^(-8*d*x - 8*c) + e^(-10*d*x - 10*c)
+ 1))) + 40/3*a^3*b^2*(3*e^(-2*d*x - 2*c)/(d*(3*e^(-2*d*x - 2*c) + 3*e^(-4*d*x - 4*c) + e^(-6*d*x - 6*c) + 1)
) + 1/(d*(3*e^(-2*d*x - 2*c) + 3*e^(-4*d*x - 4*c) + e^(-6*d*x - 6*c) + 1))) + 10*a^4*b/(d*(e^(-2*d*x - 2*c) +
1))

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1652 vs. \(2 (155) = 310\).
time = 0.40, size = 1652, normalized size = 10.13 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+b*sech(d*x+c)^2)^5,x, algorithm="fricas")

[Out]

1/315*((315*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 720*a*b^4 - 128*b^5)*cosh(d*x + c)^9 + 9*(315
*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 720*a*b^4 - 128*b^5)*cosh(d*x + c)*sinh(d*x + c)^8 + (15
75*a^4*b + 2100*a^3*b^2 + 1680*a^2*b^3 + 720*a*b^4 + 128*b^5)*sinh(d*x + c)^9 + 9*(315*a^5*d*x - 1575*a^4*b -
2100*a^3*b^2 - 1680*a^2*b^3 - 720*a*b^4 - 128*b^5)*cosh(d*x + c)^7 + 9*(1225*a^4*b + 2100*a^3*b^2 + 1680*a^2*b
^3 + 720*a*b^4 + 128*b^5 + 4*(1575*a^4*b + 2100*a^3*b^2 + 1680*a^2*b^3 + 720*a*b^4 + 128*b^5)*cosh(d*x + c)^2)
*sinh(d*x + c)^7 + 21*(4*(315*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 720*a*b^4 - 128*b^5)*cosh(d
*x + c)^3 + 3*(315*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 720*a*b^4 - 128*b^5)*cosh(d*x + c))*si
nh(d*x + c)^6 + 36*(315*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 720*a*b^4 - 128*b^5)*cosh(d*x + c
)^5 + 9*(3500*a^4*b + 7000*a^3*b^2 + 6720*a^2*b^3 + 2880*a*b^4 + 512*b^5 + 14*(1575*a^4*b + 2100*a^3*b^2 + 168
0*a^2*b^3 + 720*a*b^4 + 128*b^5)*cosh(d*x + c)^4 + 21*(1225*a^4*b + 2100*a^3*b^2 + 1680*a^2*b^3 + 720*a*b^4 +
128*b^5)*cosh(d*x + c)^2)*sinh(d*x + c)^5 + 9*(14*(315*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 72
0*a*b^4 - 128*b^5)*cosh(d*x + c)^5 + 35*(315*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 720*a*b^4 -
128*b^5)*cosh(d*x + c)^3 + 20*(315*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 720*a*b^4 - 128*b^5)*c
osh(d*x + c))*sinh(d*x + c)^4 + 84*(315*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 720*a*b^4 - 128*b
^5)*cosh(d*x + c)^3 + 3*(28*(1575*a^4*b + 2100*a^3*b^2 + 1680*a^2*b^3 + 720*a*b^4 + 128*b^5)*cosh(d*x + c)^6 +
14700*a^4*b + 32200*a^3*b^2 + 35840*a^2*b^3 + 20160*a*b^4 + 3584*b^5 + 105*(1225*a^4*b + 2100*a^3*b^2 + 1680*
a^2*b^3 + 720*a*b^4 + 128*b^5)*cosh(d*x + c)^4 + 120*(875*a^4*b + 1750*a^3*b^2 + 1680*a^2*b^3 + 720*a*b^4 + 12
8*b^5)*cosh(d*x + c)^2)*sinh(d*x + c)^3 + 9*(4*(315*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 720*a
*b^4 - 128*b^5)*cosh(d*x + c)^7 + 21*(315*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 720*a*b^4 - 128
*b^5)*cosh(d*x + c)^5 + 40*(315*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 720*a*b^4 - 128*b^5)*cosh
(d*x + c)^3 + 28*(315*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 720*a*b^4 - 128*b^5)*cosh(d*x + c))
*sinh(d*x + c)^2 + 126*(315*a^5*d*x - 1575*a^4*b - 2100*a^3*b^2 - 1680*a^2*b^3 - 720*a*b^4 - 128*b^5)*cosh(d*x
+ c) + 9*((1575*a^4*b + 2100*a^3*b^2 + 1680*a^2*b^3 + 720*a*b^4 + 128*b^5)*cosh(d*x + c)^8 + 7*(1225*a^4*b +
2100*a^3*b^2 + 1680*a^2*b^3 + 720*a*b^4 + 128*b^5)*cosh(d*x + c)^6 + 2450*a^4*b + 5600*a^3*b^2 + 6720*a^2*b^3
+ 4480*a*b^4 + 1792*b^5 + 20*(875*a^4*b + 1750*a^3*b^2 + 1680*a^2*b^3 + 720*a*b^4 + 128*b^5)*cosh(d*x + c)^4 +
28*(525*a^4*b + 1150*a^3*b^2 + 1280*a^2*b^3 + 720*a*b^4 + 128*b^5)*cosh(d*x + c)^2)*sinh(d*x + c))/(d*cosh(d*
x + c)^9 + 9*d*cosh(d*x + c)*sinh(d*x + c)^8 + 9*d*cosh(d*x + c)^7 + 21*(4*d*cosh(d*x + c)^3 + 3*d*cosh(d*x +
c))*sinh(d*x + c)^6 + 36*d*cosh(d*x + c)^5 + 9*(14*d*cosh(d*x + c)^5 + 35*d*cosh(d*x + c)^3 + 20*d*cosh(d*x +
c))*sinh(d*x + c)^4 + 84*d*cosh(d*x + c)^3 + 9*(4*d*cosh(d*x + c)^7 + 21*d*cosh(d*x + c)^5 + 40*d*cosh(d*x + c
)^3 + 28*d*cosh(d*x + c))*sinh(d*x + c)^2 + 126*d*cosh(d*x + c))

________________________________________________________________________________________

Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \left (a + b \operatorname {sech}^{2}{\left (c + d x \right )}\right )^{5}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+b*sech(d*x+c)**2)**5,x)

[Out]

Integral((a + b*sech(c + d*x)**2)**5, x)

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 537 vs. \(2 (155) = 310\).
time = 0.44, size = 537, normalized size = 3.29 \begin {gather*} \frac {315 \, {\left (d x + c\right )} a^{5} - \frac {2 \, {\left (1575 \, a^{4} b e^{\left (16 \, d x + 16 \, c\right )} + 12600 \, a^{4} b e^{\left (14 \, d x + 14 \, c\right )} + 6300 \, a^{3} b^{2} e^{\left (14 \, d x + 14 \, c\right )} + 44100 \, a^{4} b e^{\left (12 \, d x + 12 \, c\right )} + 39900 \, a^{3} b^{2} e^{\left (12 \, d x + 12 \, c\right )} + 16800 \, a^{2} b^{3} e^{\left (12 \, d x + 12 \, c\right )} + 88200 \, a^{4} b e^{\left (10 \, d x + 10 \, c\right )} + 107100 \, a^{3} b^{2} e^{\left (10 \, d x + 10 \, c\right )} + 75600 \, a^{2} b^{3} e^{\left (10 \, d x + 10 \, c\right )} + 25200 \, a b^{4} e^{\left (10 \, d x + 10 \, c\right )} + 110250 \, a^{4} b e^{\left (8 \, d x + 8 \, c\right )} + 157500 \, a^{3} b^{2} e^{\left (8 \, d x + 8 \, c\right )} + 136080 \, a^{2} b^{3} e^{\left (8 \, d x + 8 \, c\right )} + 65520 \, a b^{4} e^{\left (8 \, d x + 8 \, c\right )} + 16128 \, b^{5} e^{\left (8 \, d x + 8 \, c\right )} + 88200 \, a^{4} b e^{\left (6 \, d x + 6 \, c\right )} + 136500 \, a^{3} b^{2} e^{\left (6 \, d x + 6 \, c\right )} + 124320 \, a^{2} b^{3} e^{\left (6 \, d x + 6 \, c\right )} + 60480 \, a b^{4} e^{\left (6 \, d x + 6 \, c\right )} + 10752 \, b^{5} e^{\left (6 \, d x + 6 \, c\right )} + 44100 \, a^{4} b e^{\left (4 \, d x + 4 \, c\right )} + 69300 \, a^{3} b^{2} e^{\left (4 \, d x + 4 \, c\right )} + 60480 \, a^{2} b^{3} e^{\left (4 \, d x + 4 \, c\right )} + 25920 \, a b^{4} e^{\left (4 \, d x + 4 \, c\right )} + 4608 \, b^{5} e^{\left (4 \, d x + 4 \, c\right )} + 12600 \, a^{4} b e^{\left (2 \, d x + 2 \, c\right )} + 18900 \, a^{3} b^{2} e^{\left (2 \, d x + 2 \, c\right )} + 15120 \, a^{2} b^{3} e^{\left (2 \, d x + 2 \, c\right )} + 6480 \, a b^{4} e^{\left (2 \, d x + 2 \, c\right )} + 1152 \, b^{5} e^{\left (2 \, d x + 2 \, c\right )} + 1575 \, a^{4} b + 2100 \, a^{3} b^{2} + 1680 \, a^{2} b^{3} + 720 \, a b^{4} + 128 \, b^{5}\right )}}{{\left (e^{\left (2 \, d x + 2 \, c\right )} + 1\right )}^{9}}}{315 \, d} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+b*sech(d*x+c)^2)^5,x, algorithm="giac")

[Out]

1/315*(315*(d*x + c)*a^5 - 2*(1575*a^4*b*e^(16*d*x + 16*c) + 12600*a^4*b*e^(14*d*x + 14*c) + 6300*a^3*b^2*e^(1
4*d*x + 14*c) + 44100*a^4*b*e^(12*d*x + 12*c) + 39900*a^3*b^2*e^(12*d*x + 12*c) + 16800*a^2*b^3*e^(12*d*x + 12
*c) + 88200*a^4*b*e^(10*d*x + 10*c) + 107100*a^3*b^2*e^(10*d*x + 10*c) + 75600*a^2*b^3*e^(10*d*x + 10*c) + 252
00*a*b^4*e^(10*d*x + 10*c) + 110250*a^4*b*e^(8*d*x + 8*c) + 157500*a^3*b^2*e^(8*d*x + 8*c) + 136080*a^2*b^3*e^
(8*d*x + 8*c) + 65520*a*b^4*e^(8*d*x + 8*c) + 16128*b^5*e^(8*d*x + 8*c) + 88200*a^4*b*e^(6*d*x + 6*c) + 136500
*a^3*b^2*e^(6*d*x + 6*c) + 124320*a^2*b^3*e^(6*d*x + 6*c) + 60480*a*b^4*e^(6*d*x + 6*c) + 10752*b^5*e^(6*d*x +
6*c) + 44100*a^4*b*e^(4*d*x + 4*c) + 69300*a^3*b^2*e^(4*d*x + 4*c) + 60480*a^2*b^3*e^(4*d*x + 4*c) + 25920*a*
b^4*e^(4*d*x + 4*c) + 4608*b^5*e^(4*d*x + 4*c) + 12600*a^4*b*e^(2*d*x + 2*c) + 18900*a^3*b^2*e^(2*d*x + 2*c) +
15120*a^2*b^3*e^(2*d*x + 2*c) + 6480*a*b^4*e^(2*d*x + 2*c) + 1152*b^5*e^(2*d*x + 2*c) + 1575*a^4*b + 2100*a^3
*b^2 + 1680*a^2*b^3 + 720*a*b^4 + 128*b^5)/(e^(2*d*x + 2*c) + 1)^9)/d

________________________________________________________________________________________

Mupad [B]
time = 0.32, size = 1952, normalized size = 11.98 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a + b/cosh(c + d*x)^2)^5,x)

[Out]

a^5*x - ((10*(8*a*b^4 + 7*a^4*b + 16*a^2*b^3 + 15*a^3*b^2))/(63*d) + (10*exp(2*c + 2*d*x)*(7*a^4*b + 8*a^2*b^3
+ 12*a^3*b^2))/(21*d) + (10*exp(4*c + 4*d*x)*(a^4*b + a^3*b^2))/(3*d) + (10*a^4*b*exp(6*c + 6*d*x))/(9*d))/(4
*exp(2*c + 2*d*x) + 6*exp(4*c + 4*d*x) + 4*exp(6*c + 6*d*x) + exp(8*c + 8*d*x) + 1) - ((80*exp(6*c + 6*d*x)*(8
*a*b^4 + 7*a^4*b + 16*a^2*b^3 + 15*a^3*b^2))/(9*d) + (80*exp(10*c + 10*d*x)*(8*a*b^4 + 7*a^4*b + 16*a^2*b^3 +
15*a^3*b^2))/(9*d) + (4*exp(8*c + 8*d*x)*(320*a*b^4 + 175*a^4*b + 128*b^5 + 480*a^2*b^3 + 400*a^3*b^2))/(9*d)
+ (10*a^4*b)/(9*d) + (40*exp(4*c + 4*d*x)*(7*a^4*b + 8*a^2*b^3 + 12*a^3*b^2))/(9*d) + (40*exp(12*c + 12*d*x)*(
7*a^4*b + 8*a^2*b^3 + 12*a^3*b^2))/(9*d) + (80*exp(2*c + 2*d*x)*(a^4*b + a^3*b^2))/(9*d) + (80*exp(14*c + 14*d
*x)*(a^4*b + a^3*b^2))/(9*d) + (10*a^4*b*exp(16*c + 16*d*x))/(9*d))/(9*exp(2*c + 2*d*x) + 36*exp(4*c + 4*d*x)
+ 84*exp(6*c + 6*d*x) + 126*exp(8*c + 8*d*x) + 126*exp(10*c + 10*d*x) + 84*exp(12*c + 12*d*x) + 36*exp(14*c +
14*d*x) + 9*exp(16*c + 16*d*x) + exp(18*c + 18*d*x) + 1) - ((10*(a^4*b + a^3*b^2))/(9*d) + (10*a^4*b*exp(2*c +
2*d*x))/(9*d))/(2*exp(2*c + 2*d*x) + exp(4*c + 4*d*x) + 1) - ((10*(7*a^4*b + 8*a^2*b^3 + 12*a^3*b^2))/(63*d)
+ (20*exp(2*c + 2*d*x)*(8*a*b^4 + 7*a^4*b + 16*a^2*b^3 + 15*a^3*b^2))/(21*d) + (200*exp(6*c + 6*d*x)*(8*a*b^4
+ 7*a^4*b + 16*a^2*b^3 + 15*a^3*b^2))/(63*d) + (2*exp(4*c + 4*d*x)*(320*a*b^4 + 175*a^4*b + 128*b^5 + 480*a^2*
b^3 + 400*a^3*b^2))/(21*d) + (50*exp(8*c + 8*d*x)*(7*a^4*b + 8*a^2*b^3 + 12*a^3*b^2))/(21*d) + (20*exp(10*c +
10*d*x)*(a^4*b + a^3*b^2))/(3*d) + (10*a^4*b*exp(12*c + 12*d*x))/(9*d))/(7*exp(2*c + 2*d*x) + 21*exp(4*c + 4*d
*x) + 35*exp(6*c + 6*d*x) + 35*exp(8*c + 8*d*x) + 21*exp(10*c + 10*d*x) + 7*exp(12*c + 12*d*x) + exp(14*c + 14
*d*x) + 1) - ((2*(320*a*b^4 + 175*a^4*b + 128*b^5 + 480*a^2*b^3 + 400*a^3*b^2))/(315*d) + (40*exp(2*c + 2*d*x)
*(8*a*b^4 + 7*a^4*b + 16*a^2*b^3 + 15*a^3*b^2))/(63*d) + (20*exp(4*c + 4*d*x)*(7*a^4*b + 8*a^2*b^3 + 12*a^3*b^
2))/(21*d) + (40*exp(6*c + 6*d*x)*(a^4*b + a^3*b^2))/(9*d) + (10*a^4*b*exp(8*c + 8*d*x))/(9*d))/(5*exp(2*c + 2
*d*x) + 10*exp(4*c + 4*d*x) + 10*exp(6*c + 6*d*x) + 5*exp(8*c + 8*d*x) + exp(10*c + 10*d*x) + 1) - ((10*(a^4*b
+ a^3*b^2))/(9*d) + (10*exp(4*c + 4*d*x)*(8*a*b^4 + 7*a^4*b + 16*a^2*b^3 + 15*a^3*b^2))/(3*d) + (50*exp(8*c +
8*d*x)*(8*a*b^4 + 7*a^4*b + 16*a^2*b^3 + 15*a^3*b^2))/(9*d) + (2*exp(6*c + 6*d*x)*(320*a*b^4 + 175*a^4*b + 12
8*b^5 + 480*a^2*b^3 + 400*a^3*b^2))/(9*d) + (10*exp(2*c + 2*d*x)*(7*a^4*b + 8*a^2*b^3 + 12*a^3*b^2))/(9*d) + (
10*exp(10*c + 10*d*x)*(7*a^4*b + 8*a^2*b^3 + 12*a^3*b^2))/(3*d) + (70*exp(12*c + 12*d*x)*(a^4*b + a^3*b^2))/(9
*d) + (10*a^4*b*exp(14*c + 14*d*x))/(9*d))/(8*exp(2*c + 2*d*x) + 28*exp(4*c + 4*d*x) + 56*exp(6*c + 6*d*x) + 7
0*exp(8*c + 8*d*x) + 56*exp(10*c + 10*d*x) + 28*exp(12*c + 12*d*x) + 8*exp(14*c + 14*d*x) + exp(16*c + 16*d*x)
+ 1) - ((10*(8*a*b^4 + 7*a^4*b + 16*a^2*b^3 + 15*a^3*b^2))/(63*d) + (100*exp(4*c + 4*d*x)*(8*a*b^4 + 7*a^4*b
+ 16*a^2*b^3 + 15*a^3*b^2))/(63*d) + (2*exp(2*c + 2*d*x)*(320*a*b^4 + 175*a^4*b + 128*b^5 + 480*a^2*b^3 + 400*
a^3*b^2))/(63*d) + (100*exp(6*c + 6*d*x)*(7*a^4*b + 8*a^2*b^3 + 12*a^3*b^2))/(63*d) + (50*exp(8*c + 8*d*x)*(a^
4*b + a^3*b^2))/(9*d) + (10*a^4*b*exp(10*c + 10*d*x))/(9*d))/(6*exp(2*c + 2*d*x) + 15*exp(4*c + 4*d*x) + 20*ex
p(6*c + 6*d*x) + 15*exp(8*c + 8*d*x) + 6*exp(10*c + 10*d*x) + exp(12*c + 12*d*x) + 1) - ((10*(7*a^4*b + 8*a^2*
b^3 + 12*a^3*b^2))/(63*d) + (20*exp(2*c + 2*d*x)*(a^4*b + a^3*b^2))/(9*d) + (10*a^4*b*exp(4*c + 4*d*x))/(9*d))
/(3*exp(2*c + 2*d*x) + 3*exp(4*c + 4*d*x) + exp(6*c + 6*d*x) + 1) - (10*a^4*b)/(9*d*(exp(2*c + 2*d*x) + 1))

________________________________________________________________________________________